/**
 *
end main

real	0m0.006s
user	0m0.005s
sys	0m0.001s

 *
 */
#include<stdio.h>

int main(int argc, const char * argv[]){
	register int i = 0;
	for(i = 0 ; i < 10000000 ; i++){}
	printf("end main\n");
	return 0;
}
